#ifndef __DEVICE_TIME_H
#define __DEVICE_TIME_H
#include <asm-i386/types.h>
extern void timer_init(void);
extern void mtime_sleep(uint32_t m_seconds);
#endif

